commercially-available diet soda